Integrating Theories and Techniques for Program Modelling, Design and Verification – Positioning the Research at UNU-IIST in Collaborative Research on the Verified Software Challenge Bernard K. Aichernig, He Jifeng, Zh

Source URL: vstte.ethz.ch

UNIVERSITY OF DAYTON LAW REVIEW VOLUME 34 WINTERNUMBER 2

Source URL: www.tapr.org

• Electronic engineering
• Software
• Engineering
• Electronic design automation
• Diagrams
• Electronic design
• Integrated circuits
• Open-source hardware
• Schematic capture
• PCB
• GEDA
• Electric

Software Design Patterns for TinyOS David Gay Phil Levis David Culler

Source URL: csl.stanford.edu

• Object-oriented programming
• Software design patterns
• TinyOS
• NesC
• Interface
• Design Patterns
• Structural pattern
• Component-based software engineering
• Class
• Spring Framework
• Information hiding
• Decorator pattern

Underware Webfont License Agreement

Source URL: underware.nl

• Digital typography
• Web design
• Web typography
• World Wide Web
• Party
• Trademark
• License
• Software

Help Main Navigation The links to the main topics of the web site are contained in the three lines of the main navigation. Some of them are standard entries while others can be chosen freely. They are invariable within a

Source URL: www.eeh.ee.ethz.ch

• Web design
• Design
• Software
• Digital media
• Site map
• Breadcrumb
• Home page
• Website
• World Wide Web
• Web navigation

CASE STUDY Emirates Airline Adds Another Dimension Airline Turns to 3D Software to Protect Their Fleet From Conflicts at Airports Around the World By Chris Johns, Transoft Solutions

Source URL: www.design-with-confidence.com

Beyond Patch and Pray: Security by Design • Adam Shostack • Presented to the Security Leadership Conference Series

Source URL: adam.shostack.org

• Software testing
• Lint
• Programming tool
• Vulnerability

Wake me up, WISP! [An Embedded Software Group MSc project] We are TU Delft Embedded Software Group and we aim at sub-zero energy networks. We build and design systems that are freed from the battery burden. Do you

Source URL: www.es.ewi.tudelft.nl

Threads and the Single UNIX Specification, Version 2 Extracted from Go Solo 2 The Open Group Copyright  May 1997, The Open Group

Source URL: www.unix.org

• Computing
• Software engineering
• Computer programming
• Concurrency control
• Software design patterns
• Application programming interfaces
• Parallel computing
• POSIX
• Monitor
• Thread-local storage
• Thread
• C standard library